
<style>
    body {
        font-family: "Trebuchet MS",Geneva,Verdana,sans-serif;
        font-size: 11pt;
        color: #333;    
    }
    tt {
        font-size: 12pt;        
    }
    pre {
        font: "Lucida Console";
        font-size: 10pt;
        padding: 4px;
        background: #F3F3F3;        
        border: 1px solid #888;        
    }
    div#left-column {
        float: left;
        width: 0px;        
        margin-left: 0px;        
    }
    tt {
        
    }
    div#content{
        float: left;
        margin-left: 200px;
        width: 800px;
        font-family: "Trebuchet MS",Geneva,Verdana,sans-serif;
        font-size: 11pt;
        color: #333;    
        padding: 0;
    }
</style>

<!--
The first part in a series entitled "Timestamped: a trilogy in a few parts." For starters, we introduce a "counter map" and ensure we can sort it by its integer values.
-->
<body>
<div id="left-column">    
</div>

<div id="content">    

